ความขัดแย้งระหว่างความต่อเนื่องกับความไม่ต่อเนื่อง
ในโลกของตรรกะที่ต่อเนื่อง (แคลคูลัส) เราอาศัยกฎต่าง ๆ เช่น กฎผลคูณ:
$$\frac{d(fg)}{dx} = f\frac{dg}{dx} + g\frac{df}{dx}$$
หรือการอินทิเกรตแบบวนซ้ำสำหรับฟังก์ชันเช่น:
$$\int \log^n |x| dx = x \log^n |x| - n \int \log^{n-1} |x| dx$$
แม้ว่าจะสง่างาม แต่โครงสร้างต่อเนื่องเหล่านี้มีแนวโน้มคาดเดาได้ อย่างไรก็ตาม ความปลอดภัยทางไซเบอร์ต้องการ ความซับซ้อนแบบหนึ่งทิศทางคณิตศาสตร์เชิงเศษส่วนให้สิ่งนี้ผ่านตรรกะของตัวหารและจำนวนเฉพาะ ซึ่งฟังก์ชันสามารถคำนวณได้ง่ายในทิศทางหนึ่ง แต่เกือบจะเป็นไปไม่ได้ที่จะย้อนกลับโดยไม่มี "กุญแจ"
ก่อนที่เราจะสามารถรักษาความปลอดภัยของเครือข่ายได้ เราจำเป็นต้องเชี่ยวชาญ การพิสูจน์ด้วยเหตุผลทางคณิตศาสตร์ เพื่อยืนยันอัลกอริธึมที่จัดการข้อมูลของเรา ลองพิจารณาลำดับฟีโบนัชชี $f_n$ เราสามารถพิสูจน์สมบัติเช่น:
$$\sum_{k=1}^n (-1)^k f_k = (-1)^n f_{n-1} - 1$$
และตรวจสอบอัตราการเติบโตโดยใช้ความสัมพันธ์แบบบิเนต:
$$f_n = \frac{f_{n-1} + \sqrt{5f_{n-1}^2 + 4(-1)^{n+1}}}{2}$$
ตรรกะเชิงเศษส่วนนี้ ร่วมกับ กรณีพื้นฐานทำให้แน่ใจว่าอัลกอริธึมเช่น การเรียงข้อมูลแบบแทรก (อัลกอริธึม 4.2.3) หรือ อัลกอริธึมการจัดเรียงที่มีรูปทรงโตรโมโน (อัลกอริธึม 4.4.4) ทำงานได้อย่างถูกต้องเมื่อขยายขนาดไปถึงหลายล้านล้านครั้ง
จากลักษณะซ้ำซ้อนสู่ความปลอดภัย: การเปลี่ยนแปลงสู่ระบบ RSA
ความปลอดภัยสมัยใหม่ใช้ประโยชน์จาก อัลกอริธึมสุ่ม และเทคนิคการแบ่งแยกแล้วเอาชนะ ด้วยการใช้ทฤษฎีบทพื้นฐานของเลขคณิต ซึ่งหมายความว่าจำนวนเต็มใดๆ มีลายเซ็นเฉพาะของจำนวนเฉพาะ เราจึงสร้างระบบเข้ารหัสแบบ RSA แตกต่างจากเส้นโค้งต่อเนื่องของแคลคูลัส ระบบ RSA ทำงานบนตรรกะที่ไม่เรียบง่ายของตัวประกอบเฉพาะ